#include <libsyscall.h>

int get_fb_info(uint64_t *width, uint64_t *height, uint64_t *pitch, uint8_t *bpp)
{
    return enter_syscall((uint64_t)width, (uint64_t)height, (uint64_t)pitch, (uint64_t)bpp, 0, SYS_GET_FB_INFO);
}

int write_framebuffer(uint64_t x1, uint64_t y1, uint64_t x2, uint64_t y2, uint8_t *px_map)
{
    return enter_syscall(x1, y1, x2, y2, (uint64_t)px_map, SYS_WRITE_FB);
}
